Verifying Influence Diagrams using Dimensional Analysis

نویسنده

  • G W Komanapalli
چکیده

Developing a valid model is of primary importance. Various verification and validation procedures are used to establish confidence in the model output. To establish confidence that a model produces right behaviour for right reasons it is essential to ensure that the structure of model represents real world system. Amongst the verification procedures employed, dimensional analysis is used to verify the syntactical correctness of the equation. Despite of its significance, dimensional analysis is one of the less prioritised procedures used during model building process. Therefore lack of dimensional consistency raises serious doubts about the validity of model behaviour. The aim of this paper is to summarise various problems and difficulties identified in System Dynamics (SD) modelling process and to suggest an alternative approach. Firstly, this paper discusses various problems faced by beginners, which can lead to errors in SD models. Secondly, discusses alternative approaches suggested by researchers in SD. Thirdly this papers presents an approach to generate mathematical model from Influence Diagrams. There are two principle benefits this approach can offer: A software tool based on this approach, and improve SD modelling experience, especially of those modellers who have limited mathematical experience so as to gain benefits of quantitative SD modelling.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Verifying sequence diagrams using the process algebra CSP

We develop a verification tool for sequence diagrams named SD2CSP. It converts sequence diagrams to processes in CSP, so that existing model checking tool can verify them. We implemented the tool and conducted experiments with real world case studies.

متن کامل

Diagram-Based Verification of Real-Time Systems using Timed Predicate Diagrams

Computers are frequently used in critical applications where predictable response times are essential for correctness. Such systems are called real-time systems and are a class of reactive systems. Many verification methods for verifying reactive systems were proposed, including diagram-based verification. One of diagrams used for reactive systems verification is predicate diagrams proposed by ...

متن کامل

Veri cation of the MDG Components Library in HOL

The MDG system is a decision diagram based veri cation tool, primarily designed for hardware veri cation. It is based on Multiway decision diagrams|an extension of the traditional ROBDD approach. In this paper we describe the formal veri cation of the component library of the MDG system, using HOL. The hardware component library, whilst relatively simple, has been a source of errors in an earli...

متن کامل

Veriication of the Mdg Components Library in Hol

The MDG system is a decision diagram based veriication tool, primarily designed for hardware veriication. It is based on Multiway decision diagrams|an extension of the traditional ROBDD approach. In this paper we describe the formal veriication of the component library of the MDG system, using HOL. The hardware component library, whilst relatively simple, has been a source of errors in an earli...

متن کامل

The influence of inelastic relaxation time on intrinsic spin Hall effects in a disordered two-dimensional electron gas

The influence of inelastic relaxation time on the intrinsic spin Hall effects in a disordered two-dimensional electron gas with Rashba interaction is studied; we clarify the controversy as regards impurity effects in the system. We reveal that, due to the existence of inelastic scattering, the spin Hall conductivity does not vanish when the impurity concentration diminishes to zero, regardless ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009